B[3]

Jean-Raymond Abrial

A specification language similar to Z, but also supporting development of C code from specifications.